predicate calculus
['predikeit ˈkælkjələs]
[网络] 谓词演算；谓词逻辑；述词演算
[网络] 谓词演算；谓词逻辑；述词演算
热门查询
- tourists n. 旅游者（tourist的复数）；（美）冬季到南方做工的流动工人 v. 旅游；观光（tourist的三单形式）
- quotidian n. 每天发生的事；日发疟 adj. 每日的；平凡的；每日发作的
- endoscopy n. [临床] 内窥镜检查；内视镜检查法；内视镜室
- discolouration 变[褪, 脱]色, 漂白
- denied v. 拒绝；拒签（deny的过去式）
- slideshow n. 幻灯片, 幻灯片放映, 播放幻灯片方式
- interbreed vt. 异种交配；混种；使品种间杂交 vi. 异种交配；混种；杂种繁殖
- leak n. 泄漏；漏洞，裂缝 vt. 使渗漏，泄露 vi. 漏，渗；泄漏出去 n. (Leak)人名；(英)利克；(东南亚国家华语)力
- thundershower n. 雷阵雨
- eke vt. 竭力增补；勉强维持；竭力维持
- inspirational adj. 鼓舞人心的；带有灵感的，给予灵感的
- replenish vt. 补充，再装满；把…装满；给…添加燃料
- Tweedie [人名] [苏格兰人姓氏] 特威迪住所名称，语源不详; [地名] [加拿大] 特威迪
- sword n. 刀，剑；武力，战争 n. (Sword)人名；(英)索德
- elsewhere adv. 在别处；到别处
- enslave vt. 束缚；征服；使某人成为奴隶
- relight v. 重新燃点，再点火
- henpecked adj. 惧内的
- toddle n. 东倒西歪的走路；刚学走步的小孩 vi. 蹒跚学步；东倒西歪地走；散步
- songwriter n. 流行歌曲的作者；歌曲作家
